Nuprl Definition : q-linear
11,40
postcript
pdf
q-linear(
k
;
i
.
X
(
i
);
y
) ==
X
(0) +
0
j
<
k
.
X
(
j
+1) *
y
[
j
]
latex
Definitions
r
+
s
,
a
j
<
b
.
E
(
j
)
,
r
*
s
,
n
+
m
,
#$n
,
l
[
i
]
FDL editor aliases
q-linear
origin
0 
j < k. X(j+1) * y[j] 0 j < k. X(j+1) * y[j] a j < b. E(j)